سیستم های اطلاعات مکانی در زمینه مدیریت حمل ونقل قابلیت های فراوانی را در اختیار کاربران خود قرار می دهند. در این زمینه قابلیت های تجزیه و تحلیل شبکه در سیستم های اطلاعات مکانی از جمله محاسبه کوتاه ترین مسیر می تواند بسیار مفید واقع شود. برای انجام آنالیزهای شبکه از تئوری گراف استفاده می شود. دیدگاه رایج برای مدل سازی شبکه های حمل ونقل توسط گراف ها به این صورت است که ایستگاه ها به عنوان گره و م...

در این مقاله با بکارگیری مفاهیمی از تئوری گراف ها، تحلیل سازه ها بروش نیروها و پاره سازه ها، روش هایی برای تحلیل بهینه سازه ها و نیز تحلیل قاب های بزرگ مقیاس با استفاده از پاره سازه ها ارائه شده است. در مورد تحلیل بهینه سازه ها، قاب های صلب دو بعدی با استفاده از تئوری گراف ها، به روش نیروها بوسیله یک نرم افزار محاسباتی بنام force که در زبان fortran power station تهیه گردیده است، تحلیل بهینه شده...

امروزه گراف ها به طور گسترده در بسیاری از حوزه ها از جمله نرم افزار، شبکه، وب، شیمی، زیست، ژنتیک و حتی مخابرات و جامعه شناسی برای مدل سازی و پردازش داده ها استفاده می شوند. حجیم بودن و پیچیدگی زیاد گراف های داده، یکی از مهم ترین چالش ها در این زمینه است که کار استخراج اطلاعات و دانش مورد نیاز از میان مجموعه ای از داده ها را بسیار مشکل می سازد. در چنین شرایطی، استفاده از الگوریتم های خلاصه سازی ...

چکیده n گره را روی n دراین مقاله در نظر داریم تا یک درخت با رأس تعبیه کنیم این تعبیه باید n نقطه داخل یک چند ضلعی با به گونهای باشد که تعداد خمهای درخت حاصل حداقل شود . ایدهی اصلی الگوریتم جدید مدل کردن مسئله به صورت مسئلهی تطبیقدهی گرافها واستفاده از الگوریتمهای تطبیقدهی گراف است که منجر به بررسی مسئله ی فاصله ی پیوندی و مسیر با حداقل تعداد لینک می شود، سپس با به کار بردن مفهوم تصحیح خطا ویافت...

در این مقاله شیوه جدیدی بر مبنای گراف سیگنال جریان برای مدلسازی مبدل Cuk ارائه شده و در کنار آن روش اولیه مبتنی بر گراف سیگنال جریان پیشنهاد شده در مراجع نیز بر روی مبدل Cuk پیاده شده است. روش پیشنهادی فرآیند بسیار ساده­تری در مقایسه با سایر روش­های مدلسازی و هم چنین روش قدیمی­تر مبتنی بر گراف سیگنال جریان داشته و از گراف به دست آمده می­توان سه مدل سیگنال کوچک، سیگنال بزرگ و حالت ماندگار مبدل ر...

در این مقاله وارون‎‏سازی سه‏ بعدی داده‏های گرانی‏ سنجی براساس تئوری گراف مورد استفاده قرار گرفته است. توده همگن زیر‏سطحی با استفاده از مجموعه‏ای از جرم‏های نقطه‏ای یکسان مدل می‏شود. با تطبیق این مجموعه جرم‏های نقطه‏ای با یک گراف کامل و با استفاده از الگوریتم کروسکال، درخت فراگیر کمینه (minimum spanning tree) برای این گراف محاسبه شده و سپس یک تابع پایدار‏کننده تحت عنوان تابع هم‏فاصله به‌دست می‏آ...

مسائل بهینه‌سازی که با ساختارهای مبتنی بر گراف سر و کار دارند بخش بزرگی از مسائل بهینه‌سازی در فیلدهای مختلف را به خود اختصاص می‌دهند. امروزه برای مواجهه با چنین مسائلی، الگوریتم‌های جستجو از بهترین گزینه‌ها محسوب می‌شوند. بدین منظور، عملیاتی که اغلب مورد نیاز هستند عبارتند از تعویض پی در پی برچسب گره‌های یک گراف با یکدیگر با استفاده از یک استراتژی مناسب و سپس ارزیابی اثر هر تعویض روی کمیت تحت ...

چکیده: وارسی مدل، یک روش خودکار و راهکاری مناسب به­منظور درستی یابی سیستم های نرم افزاری مطمئن است. در این سیستم ها، نمی توان ریسک بروز خطا را حتی در فرآیند تست پذیرفت و لذا لازم است فرآیند درستی یابی، قبل از پیاده سازی و در سطح مدل انجام شود. سیستم های تبدیل گراف، از پرکاربردترین سیستم های مدل­سازی رسمی  و راهکاری مناسب به­منظور مدل­سازی و وارسی سیستم های پیچیده هستند. اما این سیستم ها در فرآی...